Synthesis and Analysis of Timing Constraints for Real-Time Embedded Systems using Modular TER nets
· 약 1분
저자: Woo Jin Lee, Ho Kyoung Lee
게재/발표: WSEAS Transactions on Computers (ISSN : 1109-2750), Vol. 6, No. 5, pp. 741-748, May 2007.
분야: Real-Time Systems, Petri Net, Timing Constraints, Embedded Systems
모듈형 TER-net(Timed Extended Regular net)을 사용하여 실시간 임베디드 시스템의 타이밍 제약을 합성하고 분석하는 기법을 제안합니다.